perm filename SAMEF.LBK[F76,JMC] blob sn#251104 filedate 1976-12-07 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
CāŠ—;


(DEFPROP SAMEFNS
 (NIL SAME SAMEFRINGE)
VALUE)

(DEFPROP SAME
 (LAMBDA(X Y U V)
  (COND	((ATOM X)
	 (COND
((ATOM Y) (AND (EQ X Y) (COND ((OR (ATOM U) (ATOM V)) (EQ U V)) (T (SAME U
V NIL NIL)))))
		    (T (SAME X (CAR Y) U (CONS (CDR Y) V)))))
	((ATOM Y) (SAME (CAR X) Y (CONS (CDR X) U) V))
	(T (SAME (CAR X) (CAR Y) (CONS (CDR X) U) (CONS (CDR Y) V)))))
EXPR)

(DEFPROP SAMEFRINGE
 (LAMBDA (X Y) (SAME X Y NIL NIL))
EXPR)